$\forall$$x$, $y$:$\mathbb{B}$. ($x$ = ($\neg_{b}$$y$)) $\Leftarrow\!\Rightarrow$ ($\neg$($x$ = $y$))